Formal Specification of the Framework for NSSA
نویسندگان
چکیده
منابع مشابه
A formal framework for the specification of interactive systems
Richard Butterworth Submitted to the Department of Computer Studies on 17th May, 1997, in partial fulfillment of the requirements for the degree of Doctor of Philosophy We are primarily concerned'with interactive systems whose behaviour is highly reliant on end user activity. A framework for describing' and synthesising such systems is developed. This consists of a functional description of the...
متن کاملPAFSV: A Formal Framework for Specification and Analysis of SystemVerilog
We develop a process algebraic framework PAFSV for the formal specification and analysis of IEEE 1800TM SystemVerilog designs. The formal semantics of PAFSV is defined by means of deduction rules that associate a time transition system with a PAFSV process. A set of properties of PAFSV is presented for a notion of bisimilarity. PAFSV may be regarded as the formal language of a significant subse...
متن کاملFormal Specification of a Framework for Groupware Development
This paper describes the formal speciication in Lotos of CoopScan, a framework for cooperative applications development. We rst present the architectural choices and collaboration strategies for the integration of applications in such a collaboration aware framework. Then, we show how we derive a Lotos speciication from the CoopScan description. We deene some generic properties to be veriied in...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملFormal Specification of the Möbius Modeling Framework by Daniel Duane
Classes and methods can both be abstract. An abstract class is a class that can not be instantiated, even if all the methods are defined. An abstract method is one that may not have a definition, and a class that has any abstract methods is also abstract. Only derived classes that override any abstract methods may be instantiated. A class that is derived from an abstract class and that does not...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia Computer Science
سال: 2016
ISSN: 1877-0509
DOI: 10.1016/j.procs.2016.07.318